| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | plutao.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 8JMKD3MGP3W/42M72S2 |
| Repositório | sid.inpe.br/plutao/2020/06.16.01.57 |
| Última Atualização | 2020:06.18.17.41.37 (UTC) lattes |
| Repositório de Metadados | sid.inpe.br/plutao/2020/06.16.01.57.16 |
| Última Atualização dos Metadados | 2022:01.04.01.31.17 (UTC) administrator |
| DOI | 10.5220/0009411903960406 |
| ISBN | 9789897584237 |
| Rótulo | lattes: 1304704585952173 1 FerreiraRodrSilv:2020:StVaAu |
| Chave de Citação | CruzFerrSilv:2020:StVaAu |
| Título | State validation in automated planning  |
| Formato | DVD |
| Ano | 2020 |
| Data de Acesso | 10 maio 2024 |
| Tipo Secundário | PRE CI |
| Número de Arquivos | 1 |
| Tamanho | 892 KiB |
| 2. Contextualização | |
| Autor | 1 Cruz, Caio Gustavo Rodrigues da 2 Ferreira, Maurício Gonçalves Vieira 3 Silva, Rodrigo Rocha |
| Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JHT8 |
| Grupo | 1 CSE-ETES-SESPG-INPE-MCTIC-GOV-BR 2 COCRC-COCRC-INPE-MCTIC-GOV-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Universidade de Coimbra |
| Endereço de e-Mail do Autor | 1 caio.cruz@inpe.br 2 mauricio.ferreira@inpe.br 3 rrochas@dei.uc.pt |
| Nome do Evento | International Conference on Enterprise Information Systems, 22 |
| Localização do Evento | Prague |
| Data | 05-07 May |
| Volume | 1 |
| Páginas | 396-406 |
| Título do Livro | Proceedings |
| Tipo Terciário | Artigo |
| Histórico (UTC) | 2020-06-18 17:41:38 :: lattes -> administrator :: 2020 2022-01-04 01:31:17 :: administrator -> simone :: 2020 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Tipo de Versão | publisher |
| Palavras-Chave | Planning Preference Invalid States PDDL |
| Resumo | The crescent number of automated systems in satellites raises several security and reliability concerns, that are worsened with the time. Plan validation techniques were created to validate flight operation plans generated automatically. The execution of automatically generated plans on satellite flight operations can result in degraded or invalid states. Verifying the possibility of removing these states of a plan through a state validation technique is the objective of this paper. Analyzing the action that generated and, in planning time, remove the invalid states from the plan steps enables the planner to find the final state without any invalid state. Therefore, implementing a state validator in the automated planner prevents the plan from containing any invalid state. |
| Área | ETES |
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > State validation in... |
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > State validation in... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W/42M72S2 |
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W/42M72S2 |
| Idioma | pt |
| Arquivo Alvo | cruz_state.pdf |
| Grupo de Usuários | lattes |
| Grupo de Leitores | administrator lattes |
| Visibilidade | shown |
| Permissão de Atualização | não transferida |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/3F3PAJE |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.14.22.20 2 sid.inpe.br/mtc-m21/2012/07.13.14.56.30 2 sid.inpe.br/bibdigital/2013/10.19.00.29 2 |
| Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination e-mailaddress edition editor issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url |
| 7. Controle da descrição | |
| e-Mail (login) | simone |
| atualizar | |